/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASB30/FONT#3=BASI30/FONT#4=NGR40/FONT#6=NGR20
␈↓ n␈↓␈↓ αd␈↓εSummary of paper accepted for the Fourth International Joint Conference on Artificial Intelligence␈↓␈↓ }


␈↓ n␈↓∧␈↓ ↓N␈↓ αg BEINGS:  KNOWLEDGE AS INTERACTING EXPERTS


␈↓ n␈↓↓␈↓ ↓N␈↓ ¬3Douglas B. Lenat

␈↓ n␈↓↓␈↓ ↓N␈↓ ∧GArti≡cial Intelligence Laboratory
␈↓ n␈↓↓␈↓ ↓N␈↓ ¬∨Stanford University



␈↓ n␈↓␈↓ ↓NKnowledge␈α∩may␈α∩be␈α⊃organized␈α∩as␈α∩a␈α⊃community␈α∩of␈α∩interacting␈α⊃modules.␈α∩Each␈α∩module␈α⊃is

␈↓ n␈↓␈↓ ↓Ngranted␈α⊂a␈α∂complex␈α⊂structure,␈α∂to␈α⊂simulate␈α∂a␈α⊂particular␈α∂expert␈α⊂in␈α∂some␈α⊂small␈α⊂domain.␈α∂ An

␈↓ n␈↓␈↓ ↓Nextended␈αanalogy␈αis␈αdrawn␈αto␈αa␈αgroup␈αof␈αcooperating␈αhuman␈αspecialists.␈α Based␈αon␈αthis,␈αan

␈↓ n␈↓␈↓ ↓Ninternal␈α∞constraint␈α
is␈α∞imposed␈α∞on␈α
the␈α∞modules:␈α
Their␈α∞structure␈α∞must␈α
be␈α∞standard␈α∞over␈α
the

␈↓ n␈↓␈↓ ↓Nentire␈α∂community.␈α∂ Some␈α∂advantages␈α∂of␈α∂a␈α∂uniform␈α∂formalism␈α∂are␈α∂thereby␈α∂preserved.␈α∞ An

␈↓ n␈↓␈↓ ↓Nexperimental␈αcommunity␈αwas␈α
implemented␈αfor␈αthe␈α
task␈αdomain␈αof␈α
automatic␈αprogramming.

␈↓ n␈↓␈↓ ↓NIt␈α
has␈α
managed␈αto␈α
synthesize␈α
a␈αfew␈α
inductive␈α
inference␈αLISP␈α
programs,␈α
nonformally,␈αfrom

␈↓ n␈↓␈↓ ↓Nspeci≡c restricted dialogues with a human user.























␈↓ n␈↓␈↓ ¬5␈↓εLength of paper: 15 pages␈↓␈↓ }